(∞, 0)-category